Tuples
A tuple is fixed length sequence of values that may have different types.
Tuples are constructed by listing their components in parentheses 
(1, "a", 5.4)
 
fst :: (a, b) -> a (Prelude) 
Gives the first element of a pair. 
  
snd :: (a, b) -> b (Prelude) 
Gives the second element of a pair. 
  
curry :: ((a, b) -> <d> c) -> a -> b -> <d> c (Prelude) 
Transforms a function taking a pair as a parameter to a function taking two values as a parameter. 
  
uncurry :: (a -> b -> <d> c) -> (a, b) -> <d> c (Prelude) 
Transforms a function two values as a parameter to a function taking a pair as a parameter. 
  
 |